#!/bin/sh
# usage: $0 <new Rref> <in >out
sed 's/^\(0 1\) \([0-9]*\.[0-9]*\) *$/\1 '"$1"'/'

